861. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
862. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
863. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
864. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
پدیدآورنده : Eduardo Gimenez, Christine Paulin-Mohring )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1512
865. Ubiquitous communications and network computing :
پدیدآورنده : Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
866. Uncertainty and intelligent information systems /
پدیدآورنده : editors, Bernadette Bouchon-Meunier [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Uncertainty (Information theory), Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Expertensystem,Kongress,Uncertainty (Information theory),Unsicherheit
رده :
QA76
.
76
.
E95
I575
2006eb
867. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
868. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
869. Vagueness in communication :
پدیدآورنده : Rick Nouwen [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Natural language processing (Computer science), Congresses,Vagueness (Philosophy), Congresses
رده :
QA76
.
9
.
L63
V34
2011
870. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
871. Verification of digital and hybrid systems
پدیدآورنده : edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
872. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005
873. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : edited by J.D. Becker and I. Eisele
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
253
874. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
پدیدآورنده : WOPPLOT 68, )6891, Neubiberg, Germany(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
253
875. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983
پدیدآورنده : WOPPLOT 38, )3891, Neubiberg, Germany(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(
رده :
QA
76
.
6
.
W685
1983
876. Web-Age Information Management
پدیدآورنده : \ Xiaokui Xiao Zhenjie Zhang (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Databases Management,پایگاه‌‌های اطلاعاتی, -- Congresses, -- کنگره‌ها, -- مدیریت,a03,a03,Computer science.,علوم کامپیوتر
رده :
QA
76
.
9
.
D3W4
2015
E-Book
,
877. Web Reasoning and Rule Systems
پدیدآورنده : \ Balder ten Cate , Alessandra Mileo (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
TK
5105
.
88815
.
W4
2015
E-Book
,
878. Web and wireless geographical information systems :
پدیدآورنده : Miguel R. Luaces, Farid Karimipour (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
879. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
